Enhancing computational power: DALI child agents generation

In this paper we introduce a novel feature of the DALI language: a DALI agent is now able to activate child agents and to feed them either with a goal to be reached or a result to be obtained. Each child agent is independent and can communicate with its father or with other agents. When the child finally reaches the given goal, it notifies the father. At any point, the latter may possibly decide to stop it. Then: (i) each child is aware of the identity of its father; (ii) each child will notify the father about its achievements; (iii) a child can be stopped by the father; (iv) the father may set a limited amount of time for children’s activities completion. We introduce the mechanisms for children generation and the corresponding operational semantics, and then present an example.